Rx for Semantics∗
نویسندگان
چکیده
A constructive framework of recent work in the semantics of programming languages is offered. The criticism is directed not so much at the techniques and results obtained as at the use to which they are put. The fact that denotational (or “mathematical”) semantics plays on the whole a passive (“descriptive”) rôle, while operational semantics plays on the whole an active (“prescriptive”) rôle, is seen as the basic problem. It is suggested that these rôles
منابع مشابه
Improving the RX Anomaly Detection Algorithm for Hyperspectral Images using FFT
Anomaly Detection (AD) has recently become an important application of target detection in hyperspectral images. The Reed-Xialoi (RX) is the most widely used AD algorithm that suffers from “small sample size” problem. The best solution for this problem is to use Dimensionality Reduction (DR) techniques as a pre-processing step for RX detector. Using this method not only improves the detection p...
متن کاملNonparametric Spectral-Spatial Anomaly Detection
Due to abundant spectral information contained in the hyperspectral images, they are suitable data for anomalous targets detection. The use of spatial features in addition to spectral ones can improve the anomaly detection performance. An anomaly detector, called nonparametric spectral-spatial detector (NSSD), is proposed in this work which utilizes the benefits of spatial features and local st...
متن کاملA Study of Bit Condition for Generation Rx -Mode Waves: Interaction of Particles with Z/UH-Mode Waves
Interactions of charge particles with electromagnetic waves have important effects (linear and nonlinear) on the propagation of electromagnetic waves, and it can somewhat play a role in generation of the new mode waves. Besides, the particle energies can play an important role in causing instability in plasma. The values of parallel energy of the particles have been calculated so that they can ...
متن کاملDeclarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملA simulation study of RX-mode waves generation in the equatorial plasmasphere
The generation mechanism of RX-mode waves in the equatorial plasmasphere has not been well understood. The Akebono passing through the storm time geomagnetic equator shows the possibility of the local enhancement of RX-mode waves in association with intense Z-mode waves in the equatorial region. We use the initial parameters inferred from observational data from around the plasma-wave generatio...
متن کامل